Expressible sharing for functional circuit descriptionNAYLOR, Matthew; RUNCIMAN, Colin.Higher-order and symbolic computation (Print). 2009, Vol 22, Num 1, pp 67-80, issn 1388-3690, 14 p.Article

Not All Patterns, But Enough: an automatic verifier for partial but sufficient pattern matchingMITCHELL, Neil; RUNCIMAN, Colin.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 49-60, issn 1523-2867, 12 p.Conference Paper

The accepting power of unary string logic programsMATSUSHITA, Tatsuru; RUNCIMAN, Colin.Theoretical computer science. 2001, Vol 266, Num 1-2, pp 59-79, issn 0304-3975Article

SmallCheck and Lazy SmallCheck: automatic exhaustive testing for small valuesRUNCIMAN, Colin; NAYLOR, Matthew; LINDBLAD, Fredrik et al.ACM SIGPLAN notices. 2009, Vol 44, Num 2, pp 37-48, issn 1523-2867, 12 p.Conference Paper

The Reduceron ReconfiguredNAYLOR, Matthew; RUNCIMAN, Colin.ACM SIGPLAN notices. 2010, Vol 45, Num 9, pp 75-86, issn 1523-2867, 12 p.Conference Paper

Transforming Haskell for tracingCHITIL, Olaf; RUNCIMAN, Colin; WALLACE, Malcolm et al.Lecture notes in computer science. 2003, pp 165-181, issn 0302-9743, isbn 3-540-40190-3, 17 p.Conference Paper

Freja, Hat and hood : A comparative evaluation of three systems for tracing and debugging lazy functional programsCHITIL, Olaf; RUNCIMAN, Colin; WALLACE, Malcolm et al.Lecture notes in computer science. 2001, pp 176-193, issn 0302-9743, isbn 3-540-41919-5Conference Paper

Lazy assertionsCHITIL, Olaf; MCNEILL, Dan; RUNCIMAN, Colin et al.Lecture notes in computer science. 2004, pp 1-19, issn 0302-9743, isbn 3-540-23727-5, 19 p.Conference Paper

Specifying pointer structures by graph reductionBAKEWELL, Adam; PLUMP, Detlef; RUNCIMAN, Colin et al.Lecture notes in computer science. 2004, pp 30-44, issn 0302-9743, isbn 3-540-22120-4, 15 p.Conference Paper

Testing and tracing lazy functional programs using quickcheck and hatCLAESSEN, Koen; RUNCIMAN, Colin; CHITIL, Olaf et al.Lecture notes in computer science. 2003, pp 59-99, issn 0302-9743, isbn 3-540-40132-6, 41 p.Conference Paper

Experience Report : Visualizing Data Through Functional PipelinesDUKE, David J; BORGO, Rita; RUNCIMAN, Colin et al.ACM SIGPLAN notices. 2008, Vol 43, Num 9, pp 379-382, issn 1523-2867, 4 p.Conference Paper

Checking the shape safety of pointer manipulationsBAKEWELL, Adam; PLUMP, Detlef; RUNCIMAN, Colin et al.Lecture notes in computer science. 2004, pp 48-61, issn 0302-9743, isbn 3-540-22145-X, 14 p.Conference Paper